Merging Behavior Specifications
نویسندگان
چکیده
This paper describes a method for merging behavior specifications modeled by transition systems. Given two behavior specifications B1 and B2, Merge(B1, B2) defines a new behavior specification that extends B1 and B2. Moreover, provided that a necessary and sufficient condition holds, Merge(B1, B2) is a cyclic extension of B1 and B2. In other words, Merge(B1, B2) extends B1 and B2, and any cyclic trace in B1 or B2 remains a cyclic in Merge(B1, B2). Therefore, in the case of cyclic traces of B1 or B2, Merge(B1, B2) transforms into Merge(B1, B2), and may exhibit, in a recursive manner, behaviors of B1 and B2. If Merge(B1, B2) is a cyclic extension of B1 and B2, then Merge(B1, B2) represents the least common cyclic extension of B1 and B2. This approach is useful for the extension and integration of system specifications.
منابع مشابه
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging allows combining specifications using the information available about their state as well as their evolution or change. Thus, leading to a more precise, accurate and efficient merging. Differencing specifications is a t...
متن کاملA Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in the project. An accurate matching approach is the key to successful software merging as well as to conflicts identification. In this paper, a new matching approach for ObjectOriented formal specifications is proposed. Ob...
متن کاملOn Merging Object-Oriented Formal Specifications
Collaborative development allows the delegation of tasks among developers, which eases the development of complex software systems. The software artifacts created because of this collaboration need to be merged at the end of a particular development activity. To achieve this, a merging approach must be able to produce results that are correct, complete and consistent. Furthermore, the merge app...
متن کاملSynthesis of Reo circuits from scenario-based interaction specifications
It is difficult to construct correct models for distributed large-scale service-oriented applications. Typically, the behavior of such an application emerges from the interaction and collaboration of multiple components/services. On the other hand, each component, in general, takes part in multiple scenarios. Consequently, not only components, but also their interaction protocols are important ...
متن کاملIncremental Construction Approach for Distributed System Specifications
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem specifications. The approach consists of merging two specifications Sold and Sadded into a new specification Snew, such that Snew extends Sold and Snew extends Sadded. Moreover, in the case of cyclic behaviors, Snew offe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formal Methods in System Design
دوره 6 شماره
صفحات -
تاریخ انتشار 1995